Nuprl Definition : equal def
11,40
postcript
pdf
s
=
t
is Primitive
latex
clarification:
s
=
t
T
is Primitive
latex
origin
T is Primitive T is Primitive